Modular extensions of point-modular lattices

Extensions of Some Fixed Point Theorems for Weak-Contraction Mappings in Partially Ordered Modular Metric Spaces

The purpose of this paper is to establish fixed point results for a single mapping in a partially ordered modular metric space, and to prove a common fixed point theorem for two self-maps satisfying some weak contractive inequalities.

Towards Modular Extensions for a Modular Language

Modularity allows the construction of complex designs from simpler, independent units that most of the time can be developed separately. In this paper we are concerned with developing mechanisms for easily implementing modular extensions to modular (logic) languages. By (language) extensions we refer to different groups of syntactic definitions and translation rules that extend a language. Our ...

Jacobi identities, modular lattices, and modular towers

We give first a simple proof of a generalized Jacobi identity for n-dimensional odd diagonal lattices which specializes to the classical Jacobi identity for the lattice Z2. For Z +√ Z, it recovers a one-parameter family of Jacobi identities discovered recently by Chan, Chua and Solé, used to deduce two quadratically converging algorithms for computing π corresponding to elliptic functions for t...

Modular Extensions for Modular (Logic) Languages

We address the problem of developing mechanisms for easily implementing modular extensions to modular (logic) languages. By (language) extensions we refer to different groups of syntactic definitions and translation rules that extend a language. Our use of the concept of modularity in this context is twofold. We would like these extensions to be modular, in the sense above, i.e., we should be a...

Common Fixed Point Theorems of Integral Type in Modular Spaces